Combining Spatial and Terminological Reasoning
نویسندگان
چکیده
The paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geographic information systems and parsing of visual languages. In contrast to existing work, which mainly focusseson reasoning about qualitative spatial relations, we integrate quantitative information with conceptual or terminological reasoning by the use of “generative” qualitative relations. These relations allow a modularization of systems for terminological reasoning and domain-specificstorage and indexing of, e.g., spatial data. Qualitative relations are computed on demand from quantitative data during forward-chaining assertional reasoning.
منابع مشابه
Combining Terminological and Rule-based Reasoning for Abstraction Processes
Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application a...
متن کاملSpatioterminological Reasoning: Subsumption Based on Geometrical Inferences
This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query proc...
متن کاملHow Useful Is Formal Knowledge Representation for Image Interpretation?
In this position paper we provide arguments for the following main points: (1) Formal knowledge representation and well-founded inference processes can help to clarify, unify and support the construction of image interpretation systems. (2) Today's terminological systems (like LOOM) fail to support basic image interpretation inference strategies, in particular hypothesis generation and spatial ...
متن کاملA Description Logic with Concrete Domains and a Role-forming Predicate Operator
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal ...
متن کاملFoundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. For spatioterminological reasoning we present the description logic ALCRP(D) and define an app...
متن کامل